Lean-ja; "Lean4 タクティク逆引きリスト"
lean-ja
が管理している
Lean 4
のタクティクの一覧
https://lean-ja.github.io/tactic-cheatsheet/index.html